An Environment for Devs-based Multi-formalism Modeling and Simulation in C++

This paper gives an introduction to a multifor-malism modeling methodology which is based on the DEVS-formalism. Several extensions to DEVS like DEVS with conditional events, combined discrete continuous models, and variable structure coupled models are discussed. Model development is supported by a methodology which employs message sequence charts and hierarchical state transition diagrams. The C++-implementation of the modeling formalisms is presented .